Restrictive views


CVS meta-model


Figure 1 - Kernel of the CVS meta-model

  • Download complete description (PDF format)
  • Download meta-model (eCore - XMI format)
  • Download integrity constraints (OCL format)


  • Figure 2 - CVS.ecore



    Promoting transformation (M2MM)



    Figure 3 - Promoting transformation

  • Download transformation (ATL format)




  • HOT


    Figure 4 - HOT

  • Download HOT (ATL format)




  • MAST-2 scenario

    The LinuxClassicRMA view (LCRMA)

    ........... ...........

  • Download especification (PDF format)

  • Sample MAST-2 model according to LCRMA


    Figure 5 - MAST-2 model according to the LCRMA view

  • Download model (eCore - XMI format)


  • Figure 6 - finalModel.mast2.xmi



    CVS model


    Figure 6 - Kernel of the CVS model for the LCRMA view

  • Download model (eCore - XMI format)


  • Figure 7 - MAST2-LCRMA.cvs.xmi


    VRD meta-model

    Figure 8 - VRD meta-model

  • Download meta-model (eCore - XMI format)


  • Figure 9 - LCRMA_VRD.ecore


    Operator model


    Figure 10 -

  • Download model (eCore - XMI format)


  • Figure 11 - operatorModel.vrd.xmi



    Transformation LCRMA_VRD -> MAST2

  • Download transformation (ATL format)



  • The SimpleMAST-2 view (SM2)

    ........... ...........

  • Download especification (PDF format)